G. Priest; "Yablo’s paradox"
https://scrapbox.io/files/64f459e07698f7001c9dca9e.pdf
著者
Graham Priest
メモ
Yabloのパラドックス
を形式化することで
Gödelの第1不完全性定理
が証明できることを説明．
#Yabloのパラドックスの形式化